Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
241	Current Status and Future Trends in Data Centric Science Prof. Yike Guo Director， Data Science Institute Imperial College London Add to Reading List Source URL: www.rois.ac.jp Language: English - Date: 2015-03-24 22:23:50 Biology Technology Emerging technologies Formal sciences Systems biology Geographic information system Metabolomics Big data Proteomics Bioinformatics Genomics Science
242	The Conflict Analysis Group Keith W. Hipel, Group Coordinator Department of Systems Design Engineering University of Waterloo Waterloo, Ontario, N2L 3G1, Canada E-mail: Add to Reading List Source URL: www.cors.ca Language: English - Date: 2014-12-10 12:15:14 Knowledge Decision theory Conflict management Ethnic conflict Conflict resolution Game theory Decision support system Scientific modelling Cybernetics Science Formal sciences Ethology
243	The use of AI to support top-down formal system development Gudmund Grov University of Edinburgh, UK Joint work with: Alan Bundy, Andrew Ireland, Cliff Jones, Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Abstraction Mathematical logic Mathematical proof Knowledge
244	Synchronisation and Delay in a Formal Model of User Cognition1 D. Duke, G. Faconti and M. Massink Department of Computer Science, University of York, Heslington, York, YO1 5DD, U.K. email: C.N.R. Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:03:36 Systems science Science Systems engineering Knowledge Academia Systems theory Cybernetics System
245	CS109B Notes for LectureAutomata Systems often may be modeled by a nite set of states. The system is always in one state. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:51 Formal methods Powerset construction Finite-state machine Nondeterministic finite automaton Automata theory Theoretical computer science Computer science
246	An Architecture for Ontology-Based Discovery and Retrieval of Geographic Information Eva Klien1, Udo Einspanier1, Michael Lutz1 and Sebastian Hübner2 1 Institute for Geoinformatics (IfGI), University of Münster, Germa Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Semantic Web Information science Technical communication Knowledge representation Semantic interoperability Concept Search Web Feature Service Geographic information system Formal ontology Ontology Information Science
247	In Europe, efforts are being made to promote a datadriven economy that will contribute to the well-being of citizens as well as to new business opportunities and more innovative public services. Big Data in the European Add to Reading List Source URL: www.biblacad.ro Language: English - Date: 2015-01-05 02:52:56 Data management Formal sciences Decision theory Information systems Analytics Decision support system ADAPA Big data OpenForum Europe Business intelligence Technology Science
248	PASSUR INTEGRATED TRAFFIC MANAGEMENT FACT SHEET Add to Reading List Source URL: www.passur.com Language: English - Date: 2011-04-11 12:39:55 Business Science Data analysis Insurance Predictive analytics Decision support system Data mining US Airways Analytics Business intelligence Formal sciences Statistics
249	Tech Vision: Technology and improving the response to floods \| Digitalof 4 http://www.digitalnewsasia.com/insights/tech-vision-technology-and-i... Add to Reading List Source URL: www.mimos.my Language: English Military terminology Signals intelligence Unmanned aerial vehicle Data mining Technology MIMOS Sensor fusion Ambient intelligence Geographic information system Sensors Data analysis Formal sciences
250	Microsoft PowerPoint - Session3_Oracle_Hagan.ppt [Compatibility Mode] Add to Reading List Source URL: ggim.un.org Language: English - Date: 2013-02-14 10:32:44 Geodesy Data management Formal sciences Cartography Oracle Corporation Geographic information system Oracle Database Cloud computing Oracle Spatial Technology Computing Software

UPDATE